(0 15 1)(2 19 17)(3 11 10)(4 12 9)(5 20 7)(6 13 8)(14 18 16)
ALLOWS (11/8)-SEQUENCE
1: (3 11 20)

(0 15 1)(2 19 17)(3 7 5 20 10)(4 12 9)(6 13 8)(11)(14 18 16)
2: (3 7 10)

(0 15 1)(2 19 17)(3)(4 12 9)(5 20 10)(6 13 8)(7)(11)(14 18 16)
3: (4 12 9)

(0 15 1)(2 19 17)(3)(4)(5 20 10)(6 13 8)(7)(9)(11)(12)(14 18 16)
4: (6 13 8)

(0 15 1)(2 19 17)(3)(4)(5 20 10)(6)(7)(8)(9)(11)(12)(13)(14 18 16)